Search for: All records

\We show that braid varieties for any complex simple algebraic group G are cluster varieties. This includes open Richardson varieties inside the flag variety G/B. 

In 2005, Britto, Cachazo, Feng, and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes inN= 4 super Yang–Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a “triangulation” or “tiling” of the m=4 amplituhedron. In this article, we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr4,n. Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs. 

Abstract The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in$$\mathcal {N}=4$$ $N=4$super Yang–Mills theory. It generalizescyclic polytopesand thepositive Grassmannianand has a very rich combinatorics with connections to cluster algebras. In this article, we provide a series of results about tiles and tilings of the$$m=4$$ $m=4$amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. Secondly, we exhibit a tiling of the$$m=4$$ $m=4$amplituhedron which involves a tile which does not come from the BCFW recurrence—thespuriontile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. This paper is a companion to our previous paper “Cluster algebras and tilings for the$$m=4$$ $m=4$amplituhedron.” 

The hypersimplex ${\mathrm{\Delta <\#comment/>}}_{k+1,n}$is the image of the positive Grassmannian $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map. It is a polytope of dimension $n-<\#comment/>1$in ${\mathbb{R}}^n$. Meanwhile, the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$is the projection of the positive Grassmannian $G{r}_{k,n}^{\ge <\#comment/>0}$into the Grassmannian $G{r}_{k,k+2}$under a map $\stackrel{~<\#comment/>}{Z}$induced by a positive matrix $Z\in <\#comment/>Ma{t}_{n,k+2}^{>0}$. Introduced in the context ofscattering amplitudes, it is not a polytope, and has full dimension $2k$inside $G{r}_{k,k+2}$. Nevertheless, there seem to be remarkable connections between these two objects viaT-duality, as conjectured by Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]. In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting outpositroid polytopes—images of positroid cells of $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map—translate into sign conditions characterizing the T-dualGrasstopes—images of positroid cells of $G{r}_{k,n}^{\ge <\#comment/>0}$under $\stackrel{~<\#comment/>}{Z}$. Moreover, we subdivide the amplituhedron intochambers, just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We use these properties to prove the main conjecture of Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]: a collection of positroid polytopes is a tiling of the hypersimplex if and only if the collection of T-dual Grasstopes is a tiling of the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$for all $Z$. Moreover, we prove Arkani-Hamed–Thomas–Trnka’s conjectural sign-flip characterization of ${\mathcal{A}}_{n,k,2}$, and Łukowski–Parisi–Spradlin–Volovich’s conjectures on $m=2$cluster adjacencyand onpositroid tilesfor ${\mathcal{A}}_{n,k,2}$(images of $2k$-dimensional positroid cells which map injectively into ${\mathcal{A}}_{n,k,2}$). Finally, we introduce new cluster structures in the amplituhedron.